home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Benchmarks / query.w < prev   
Encoding:
Text File  |  1989-04-14  |  5.3 KB  |  472 lines
  1. procedure  main/0
  2.  
  3. _819:
  4.     put_variable_y  Y1,X1
  5.     call  query/1,1
  6.     put_unsafe_value  Y1,X1
  7.     escape  write/1
  8.     escape  nl/0
  9.     fail
  10.  
  11.  
  12. procedure  query/1
  13.  
  14. _1531:
  15.     get_list  X1
  16.     unify_variable_x  X1
  17.     get_cdr_list
  18.     unify_variable_y  Y2
  19.     get_cdr_list
  20.     unify_variable_y  Y3
  21.     get_cdr_list
  22.     unify_variable_y  Y1
  23.     unify_nil
  24.     put_value_y  Y2,X2
  25.     call  density/2,3
  26.     put_value_y  Y3,X1
  27.     put_value_y  Y1,X2
  28.     call  density/2,2
  29.     put_value_y  Y2,X1
  30.     put_value_y  Y1,X2
  31.     escape  >/2
  32.     put_variable_x  X5,X1
  33.     put_constant  &20,X2
  34.     put_constant  *,X3
  35.     put_value_y  Y2,X4
  36.     escape  is/4
  37.     put_variable_x  X6,X1
  38.     put_constant  &21,X2
  39.     put_constant  *,X3
  40.     put_value_y  Y1,X4
  41.     escape  is/4
  42.     put_value_x  X5,X1
  43.     put_value_x  X6,X2
  44.     escape  </2
  45.     proceed
  46.  
  47.  
  48. procedure  density/2
  49.  
  50. _2292:
  51.     init  Y1
  52.     get_variable_y  Y4,X1
  53.     get_variable_y  Y2,X2
  54.     put_variable_y  Y3,X2
  55.     call  pop/2,4
  56.     put_value_y  Y4,X1
  57.     put_variable_y  Y1,X2
  58.     call  area/2,3
  59.     put_variable_x  X5,X1
  60.     put_unsafe_value  Y3,X2
  61.     put_constant  *,X3
  62.     put_constant  &100,X4
  63.     escape  is/4
  64.     put_value_y  Y2,X1
  65.     put_value_x  X5,X2
  66.     put_constant  /,X3
  67.     put_unsafe_value  Y1,X4
  68.     escape  is/4
  69.     proceed
  70.  
  71.  
  72. procedure  pop/2
  73.  
  74. _2790:
  75.     get_constant  china,X1
  76.     get_constant  &8250,X2
  77.     proceed
  78.  
  79.  
  80. procedure  area/2
  81.  
  82. _3036:
  83.     get_constant  china,X1
  84.     get_constant  &3380,X2
  85.     proceed
  86.  
  87.  
  88. procedure  pop/2
  89.  
  90. _3282:
  91.     get_constant  india,X1
  92.     get_constant  &5863,X2
  93.     proceed
  94.  
  95.  
  96. procedure  area/2
  97.  
  98. _3528:
  99.     get_constant  india,X1
  100.     get_constant  &1139,X2
  101.     proceed
  102.  
  103.  
  104. procedure  pop/2
  105.  
  106. _3774:
  107.     get_constant  ussr,X1
  108.     get_constant  &2521,X2
  109.     proceed
  110.  
  111.  
  112. procedure  area/2
  113.  
  114. _4020:
  115.     get_constant  ussr,X1
  116.     get_constant  &8708,X2
  117.     proceed
  118.  
  119.  
  120. procedure  pop/2
  121.  
  122. _4266:
  123.     get_constant  usa,X1
  124.     get_constant  &2119,X2
  125.     proceed
  126.  
  127.  
  128. procedure  area/2
  129.  
  130. _4512:
  131.     get_constant  usa,X1
  132.     get_constant  &3609,X2
  133.     proceed
  134.  
  135.  
  136. procedure  pop/2
  137.  
  138. _4756:
  139.     get_constant  indonesia,X1
  140.     get_constant  &1276,X2
  141.     proceed
  142.  
  143.  
  144. procedure  area/2
  145.  
  146. _5002:
  147.     get_constant  indonesia,X1
  148.     get_constant  &570,X2
  149.     proceed
  150.  
  151.  
  152. procedure  pop/2
  153.  
  154. _5246:
  155.     get_constant  japan,X1
  156.     get_constant  &1097,X2
  157.     proceed
  158.  
  159.  
  160. procedure  area/2
  161.  
  162. _5492:
  163.     get_constant  japan,X1
  164.     get_constant  &148,X2
  165.     proceed
  166.  
  167.  
  168. procedure  pop/2
  169.  
  170. _5738:
  171.     get_constant  brazil,X1
  172.     get_constant  &1042,X2
  173.     proceed
  174.  
  175.  
  176. procedure  area/2
  177.  
  178. _5982:
  179.     get_constant  brazil,X1
  180.     get_constant  &3288,X2
  181.     proceed
  182.  
  183.  
  184. procedure  pop/2
  185.  
  186. _6224:
  187.     get_constant  bangladesh,X1
  188.     get_constant  &750,X2
  189.     proceed
  190.  
  191.  
  192. procedure  area/2
  193.  
  194. _6468:
  195.     get_constant  bangladesh,X1
  196.     get_constant  &55,X2
  197.     proceed
  198.  
  199.  
  200. procedure  pop/2
  201.  
  202. _6712:
  203.     get_constant  pakistan,X1
  204.     get_constant  &682,X2
  205.     proceed
  206.  
  207.  
  208. procedure  area/2
  209.  
  210. _6956:
  211.     get_constant  pakistan,X1
  212.     get_constant  &311,X2
  213.     proceed
  214.  
  215.  
  216. procedure  pop/2
  217.  
  218. _7198:
  219.     get_constant  w_germany,X1
  220.     get_constant  &620,X2
  221.     proceed
  222.  
  223.  
  224. procedure  area/2
  225.  
  226. _7442:
  227.     get_constant  w_germany,X1
  228.     get_constant  &96,X2
  229.     proceed
  230.  
  231.  
  232. procedure  pop/2
  233.  
  234. _7686:
  235.     get_constant  nigeria,X1
  236.     get_constant  &613,X2
  237.     proceed
  238.  
  239.  
  240. procedure  area/2
  241.  
  242. _7930:
  243.     get_constant  nigeria,X1
  244.     get_constant  &373,X2
  245.     proceed
  246.  
  247.  
  248. procedure  pop/2
  249.  
  250. _8174:
  251.     get_constant  mexico,X1
  252.     get_constant  &581,X2
  253.     proceed
  254.  
  255.  
  256. procedure  area/2
  257.  
  258. _8418:
  259.     get_constant  mexico,X1
  260.     get_constant  &764,X2
  261.     proceed
  262.  
  263.  
  264. procedure  pop/2
  265.  
  266. _8660:
  267.     get_constant  uk,X1
  268.     get_constant  &559,X2
  269.     proceed
  270.  
  271.  
  272. procedure  area/2
  273.  
  274. _8904:
  275.     get_constant  uk,X1
  276.     get_constant  &86,X2
  277.     proceed
  278.  
  279.  
  280. procedure  pop/2
  281.  
  282. _9148:
  283.     get_constant  italy,X1
  284.     get_constant  &554,X2
  285.     proceed
  286.  
  287.  
  288. procedure  area/2
  289.  
  290. _9392:
  291.     get_constant  italy,X1
  292.     get_constant  &116,X2
  293.     proceed
  294.  
  295.  
  296. procedure  pop/2
  297.  
  298. _9636:
  299.     get_constant  france,X1
  300.     get_constant  &525,X2
  301.     proceed
  302.  
  303.  
  304. procedure  area/2
  305.  
  306. _9880:
  307.     get_constant  france,X1
  308.     get_constant  &213,X2
  309.     proceed
  310.  
  311.  
  312. procedure  pop/2
  313.  
  314. _10122:
  315.     get_constant  phillipines,X1
  316.     get_constant  &415,X2
  317.     proceed
  318.  
  319.  
  320. procedure  area/2
  321.  
  322. _10366:
  323.     get_constant  phillipines,X1
  324.     get_constant  &90,X2
  325.     proceed
  326.  
  327.  
  328. procedure  pop/2
  329.  
  330. _10610:
  331.     get_constant  thailand,X1
  332.     get_constant  &410,X2
  333.     proceed
  334.  
  335.  
  336. procedure  area/2
  337.  
  338. _10854:
  339.     get_constant  thailand,X1
  340.     get_constant  &200,X2
  341.     proceed
  342.  
  343.  
  344. procedure  pop/2
  345.  
  346. _11098:
  347.     get_constant  turkey,X1
  348.     get_constant  &383,X2
  349.     proceed
  350.  
  351.  
  352. procedure  area/2
  353.  
  354. _11342:
  355.     get_constant  turkey,X1
  356.     get_constant  &296,X2
  357.     proceed
  358.  
  359.  
  360. procedure  pop/2
  361.  
  362. _11586:
  363.     get_constant  egypt,X1
  364.     get_constant  &364,X2
  365.     proceed
  366.  
  367.  
  368. procedure  area/2
  369.  
  370. _11830:
  371.     get_constant  egypt,X1
  372.     get_constant  &386,X2
  373.     proceed
  374.  
  375.  
  376. procedure  pop/2
  377.  
  378. _12074:
  379.     get_constant  spain,X1
  380.     get_constant  &352,X2
  381.     proceed
  382.  
  383.  
  384. procedure  area/2
  385.  
  386. _12318:
  387.     get_constant  spain,X1
  388.     get_constant  &190,X2
  389.     proceed
  390.  
  391.  
  392. procedure  pop/2
  393.  
  394. _12562:
  395.     get_constant  poland,X1
  396.     get_constant  &337,X2
  397.     proceed
  398.  
  399.  
  400. procedure  area/2
  401.  
  402. _12806:
  403.     get_constant  poland,X1
  404.     get_constant  &121,X2
  405.     proceed
  406.  
  407.  
  408. procedure  pop/2
  409.  
  410. _13048:
  411.     get_constant  s_korea,X1
  412.     get_constant  &335,X2
  413.     proceed
  414.  
  415.  
  416. procedure  area/2
  417.  
  418. _13292:
  419.     get_constant  s_korea,X1
  420.     get_constant  &37,X2
  421.     proceed
  422.  
  423.  
  424. procedure  pop/2
  425.  
  426. _13536:
  427.     get_constant  iran,X1
  428.     get_constant  &320,X2
  429.     proceed
  430.  
  431.  
  432. procedure  area/2
  433.  
  434. _13780:
  435.     get_constant  iran,X1
  436.     get_constant  &628,X2
  437.     proceed
  438.  
  439.  
  440. procedure  pop/2
  441.  
  442. _14024:
  443.     get_constant  ethiopia,X1
  444.     get_constant  &272,X2
  445.     proceed
  446.  
  447.  
  448. procedure  area/2
  449.  
  450. _14268:
  451.     get_constant  ethiopia,X1
  452.     get_constant  &350,X2
  453.     proceed
  454.  
  455.  
  456. procedure  pop/2
  457.  
  458. _14514:
  459.     get_constant  argentina,X1
  460.     get_constant  &251,X2
  461.     proceed
  462.  
  463.  
  464. procedure  area/2
  465.  
  466. _14723:
  467.     get_constant  argentina,X1
  468.     get_constant  &1080,X2
  469.     proceed
  470.  
  471.  
  472.